Nuprl Definition : w-after
0,22
postcript
pdf
(
x
after
e
) == s(1of(
e
);2of(
e
)+1).
x
latex
clarification:
w-after(
w
;
x
;
e
) == w-s(
w
; 1of(
e
); (2of(
e
)+1);
x
)
latex
Definitions
2of(
t
)
,
1of(
t
)
,
s(
i
;
t
).
x
FDL editor aliases
w-after
origin